Towards Physarum binary adders

Plasmodium of Physarum polycephalum is a single cell visible by unaided eye. The plasmodium's foraging behaviour is interpreted in terms of computation. Input data is a configuration of nutrients, result of computation is a network of plasmodium's cytoplasmic tubes spanning sources of nutrients. Tsuda et al. (2004) experimentally demonstrated that basic logical gates can be implemented in foraging behaviour of the plasmodium. We simplify the original designs of the gates and show - in computer models - that the plasmodium is capable for computation of two-input two-output gate 〈x, y〉 → 〈xy, x + y〉 and three-input two-output . We assemble the gates in a binary one-bit adder and demonstrate validity of the design using computer simulation.     

GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks

This paper presents GINsim, a Java software suite devoted to the qualitative modelling, analysis and simulation of genetic regulatory networks. Formally, our approach leans on discrete mathematical and graph-theoretical concepts. GINsim encompasses an intuitive graph editor, enabling the definition and the parameterisation of a regulatory graph, as well as a simulation engine to compute the corresponding qualitative dynamical behaviour. Our computational approach is illustrated by a preliminary model analysis of the inter-cellular regulatory network activating Notch at the dorsal-ventral boundary in the wing imaginal disc of Drosophila. We focus on the cross-regulations between five genes (within and between two cells), which implements the dorsal-ventral border in the developing imaginal disc. Our simulations qualitatively reproduce the wild-type developmental pathway, as well as the outcome of various types of experimental perturbations, such as loss-of-function mutations or ectopically induced gene expression.     

Logical modeling of thymus and natural killer lymphocyte differentiation

Thymus (T) and natural killer (NK) lymphocytes are important barriers against diseases. Therefore, it is necessary to understand regulatory mechanisms related to the cell fate decisions involved in the production of these cells. Although some individual information related to T and NK lymphocyte cell fate decisions have been revealed, the related network and its dynamical characteristics still have not been well understood. By integrating individual information and comparing with experimental data, we construct a comprehensive regulatory network and a logical model related to T and NK lymphocyte differentiation. We aim to explore possible mechanisms of how each lineage differentiation is realized by systematically screening individual perturbations. When determining the perturbation strategies, the state transition can be used to identify the roles of specific genes in cell type selection and reprogramming. In agreement with experimental observations, the dynamics of the model correctly restates the cell differentiation processes from common lymphoid progenitors to CD4+ T cells, CD8+ T cells, and NK cells. Our analysis reveals that some specific perturbations can give rise to directional cell differentiation or reprogramming. We test our in silico results by using known experimental observations. The integrated network and the logical model presented here might be a good candidate for providing qualitative mechanisms of cell fate specification involved in T and NK lymphocyte cell fate decisions.Supplementary informationThe online version contains supplementary material available at 10.1007/s10867-021-09563-y.     

Mathematical classification of regulatory logics for compound environmental changes

This paper is concerned with biological regulatory mechanisms in response to the simultaneous occurrence of a huge number of environmental changes. The restricted resources of cells strictly limit the number of their regulatory methods; hence, cells must adopt, as compensation, special mechanisms to deal with the simultaneous occurrence of environmental changes. We hypothesize that cells use various control logics to integrate information about independent environmental changes related to a cell task and represent the resulting effects of the different ways of integration by logical functions. Using the notion of equivalence classes in set theory, we describe the mathematical classification of the effects into biologically unequivalent ones realized by different control logics. Our purely mathematical and systematic classification of logical functions reveals three elementary control logics with different biological relevance. To better understand their biological significance, we consider examples of biological systems that use these elementary control logics.     

Aesthetics and Power Considerations in Multiple Testing – A Contradiction?

In this paper we discuss aesthetical concepts and requirements for reasonable multiple test procedures. Aesthetical considerations lead to logical decision patterns which are conceivable and, if possible, simple to use and to communicate. Such considerations are sometimes contradictory to the ubiquitous requirement of maximizing power for a multiple test procedure. We illustrate the necessary trade-offs with several examples. We start by considering important logical properties and then discuss three different concepts of monotonicity. Afterwards we have a closer look at the recently proposed "fallback procedure" and show that it has some less appealing properties. Finally, we investigate the distribution of the numbers of significant results with respect to both expectation and variance.     

与非门(NAND)的DNA计算模型

近年来,随着DNA计算研究的深入,基于DNA的布尔电路的模拟成为其中一个热门的研究方向.分子信标是一种特殊的探针分子,广泛应用于各种生物技术的检测方面,具有结果稳定,特异性强的优点,本文提出了一种基于诱导"发夹"形式的DNA与非门模型,和已有的模型相比,该模型具有简单,可靠性更高且可以重复使用等优点.     

Simulation of the progress in optimal selection of parental forms of winter wheat with complex resistance to pests organisms

An original procedure of logical conclusion based on the GUHA‐method with the aim to solve the main problem at the usage of the expert systems ‐ obtaining of knowledge adequate to a given domain‐has been proposed. The study consists of the simulation of breeding process with the aim to obtain winter wheat varieties with complex resistance to pest insects and pathogens. The problem of automatic finding new knowledge has been solved in the province of inductive logical conclusion, as well as in special procedures of deductive conclusion and the system of synthesis of these procedures, i.e. abductive conclusion.

The realization of this approach achieved in the program system of optimal selection of parent forms and stage‐by‐stage improvement of hybrids in the process of forming directions by breeding, and development of virtual winter wheat varieties with complex resistance to pest insects and pathogenes.     

A logical analysis of the process of T cell activation: different consequences depending on the state of CD28 engagement

The adaptive immune system is a complex organized action of several immune cell types like, T cells, B cells, dendritic cells, mast cells, and their ability to recognize self and foreign molecular information. Based on logical analysis, a model has been developed that describes TCR-ligand association coupled to intracellular signaling events that result in a proliferation signal. The model demonstrates that after TCR-ligand binding, the activation of tyrosine kinases in one of the paths leads to oscillations between the subsequent states of activation and deactivation of Ca(2+) initiation. In our studies the effect of costimulation on the primary signal has also been explored. Analysis reveals that costimulation increases by more than 2.5 fold the number of paths rendering a cell proliferation signal compared to the outcome when costimulation is blocked. Traversal of 97% of these paths attains a costimulation threshold of activation. We also examined a hypothesis that couples the primary signal and costimulation by modeling costimulation to act as an inhibitor on the Inhibitor proteins. Using this hypothesis our analysis showed a 25% increase in the number of paths leading to cell proliferation in comparison to when costimulation is blocked. Our model also reveals that this hypothesis actually decrease by approximately 50% the number of paths attaining cell proliferation compared to the number of available paths leading to cell proliferation when costimulation does not act as an inhibitor on Inhibitor proteins. This suggests that costimulation influences cell proliferation by providing a greater diversity of paths that converge to this state. However, costimulation should be thought independent of its regulatory interaction with the inhibitor proteins.